<?php

function ui_print_header($title)
{
  $title = htmlentities($title);
  echo <<<END
  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
     "http://www.w3.org/TR/html4/strict.dtd">
  <html>
  <head>
    <meta http-equiv="Content-Type"
          content="text/html; charset=ISO-8859-1">
    <link rel="stylesheet" type="text/css" href="style.css">
    <title>Digital Cash: $title</title>
  </head>
  <body>
  <div class="menu">
  <table border=0 align=right>
  <tr>
  	<td><a href="1.php">Customer Prepare</a></td>
  	<td><a href="2.php">Customer Buy</a></td>
  	<td><a href="4.php">Customer Pay</a></td>
  	<td><a href="6.php">Merchant Deposit</a></td>
  	<td><a href="4C.php"><i>Customer Spends Twice</i></a></td>
  	<td><a href="6M.php"><i>Merchant Deposits Twice</i></a></td>
  	</tr>
  </table>
  </div>
  <h1>$title</h1>
END;
}

function ui_print_footer($date)
{
  $date = htmlentities($date);
  echo <<<END
  <div class="footer">
    <div class="date">$date</div>
    <div class="company">Nathan Bible, Brian Haar, Hui Liu</div>
  </div>
END;
}

?>

